Advances in Mathematics - PDFSEARCH.IO - Document Search Engine

Advances in Mathematics
Results: 129

#	Item
111	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
112	Available online at www.sciencedirect.com Advances in Mathematics[removed]–1672 www.elsevier.com/locate/aim K -theory of log-schemes II: Log-syntomic K -theoryI Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2012-06-06 09:18:20 Scheme theory Homological algebra Cohomology theories Algebraic topology Étale cohomology Sheaf Crystalline cohomology Ideal sheaf Grothendieck topology Abstract algebra Algebra Sheaf theory
113	2011 International Conference on Advances in Social Networks Analysis and Mining Foundations of Multidimensional Network Analysis Michele Berlingerio 1 Michele Coscia 2 Add to Reading List Source URL: www.michelecoscia.com Language: English - Date: 2012-08-08 14:26:35 Networks Centrality Network science Degree distribution Connectivity Flow network Community structure Complex network Topology Graph theory Network theory Mathematics
114	ARTICLE IN PRESS Advances in Mathematics[removed]–175 http://www.elsevier.com/locate/aim Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-03-15 03:52:40 Homotopy theory Category theory Higher category theory Algebraic structures Differential geometry Double groupoid Groupoid Lie groupoid Crossed module Abstract algebra Mathematics Algebra
115	Advances in Mathematics 170, 71–[removed]doi:[removed]aima[removed]Multiple Categories: The Equivalence of a Globular and a Cubical Approach Fahd Ali Al-Agl1 Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2004-10-19 08:39:54 Category theory Homotopy theory Algebraic topology Groupoid Seifert–van Kampen theorem Crossed module Double groupoid Category Simplicial set Abstract algebra Topology Mathematics
116	Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could beneﬁt from advances in programming language design. Recent research, in the area of rich type systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2007-02-16 18:28:43 Boolean algebra Procedural programming languages Data types Binary arithmetic Bitwise operation Cons ALGOL 68 Factorial Exclusive or Software engineering Mathematics Computing
117	Advances in the CM method for elliptic curves F. Morain Laboratoire d’Informatique de l’École polytechnique logoX Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-05-14 14:22:49 Elliptic curve Group theory Prime number Finite fields Primality tests Elliptic curve primality proving Abstract algebra Mathematics Analytic number theory
118	[Downloaded from www.aece.ro on Tuesday, February 28, 2012 at 14:09:08 (UTC) by[removed]Redistribution subject to AECE license or copyright. Online distribution is expressly prohibited.] Advances in Electrical an Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Automata theory Finite-state machine Graphical user interface testing Graphical user interfaces Model-based testing Software engineering Model checking Graphical user interface GUI widget Software testing Models of computation Mathematics
119	Mathematicians Take a Stand Douglas N. Arnold and Henry Cohn In an effort to keep Notices readers apprised of timely matters, we offer here articles presenting the two sides of the Elsevier boycott issue. Douglas Arnold Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2012-06-20 19:48:39 Elsevier Topology Advances in Mathematics The Journal of Logic and Algebraic Programming Publishing Academic publishing Mass media
120	Advances in the CM method for elliptic curves F. Morain Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-05-14 14:22:49 Elliptic curve Group theory Prime number Finite fields Primality tests Elliptic curve primality proving Abstract algebra Mathematics Analytic number theory

UPDATE